Formal kinetic description of VOCs removal by plasma methods

Removal of VOCs Using Nonthermal Plasma Technology

Volatile organic compounds (VOCs) are liquids or solids that contain organic carbon (carbon bonded to carbon, hydrogen, nitrogen, or sulfur, but not carbonate carbon as in CaCO3 nor carbide carbon as in CaC2 or CO2), which vaporize at significant rates. VOCs are probably the second-most widespread and diverse class of emissions after particulates. VOCs are a large family of compounds. Some (e.g...

Formal concept analysis methods for description logics

Feature-Oriented Description, Formal Methods, and DFC

This paper explores the close relationship between feature-oriented and architectural styles of formal system description, and explains the formal methods needed to support descriptions in these styles. In the telecommunications domain, DFC is a successful example of a feature-oriented, architectural description technique. Although formal methods for DFC are in their infancy, there are already ...

Recent advances in VOCs removal from water by pervaporation.

Pervaporation (PV) is a separation process in which minor components of a liquid mixture are preferentially transported by partial vaporization through a non-porous permselective (selectively permeable) membrane. PV is an emerging technology in environment cleanup operations, especially in the removal of volatile organic compounds (VOCs) from industrial wastewaters or contaminated groundwaters....

Investigating the Influence of Formal Methods Project Description Use of Formal Methods: Requirements

Practitioners and researchers continue to seek methods and tools for improving software development processes and products. Candidate technologies promise increased productivity, better quality, lower cost, or enhanced customer satisfaction. But we must test these methods and tools empirically and rigorously to determine any significant, quantifiable improvement. We tend to consider evaluation ...